1241. System design automation :
پدیدآورنده: edited by Renate Merker, Wolfgang Schwarz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems.,Computer-aided design.,System design.
رده :
QA76
.
9
.
S88
E358
2011
1242. System design from porvably correct constructs: the beginning of true software engineering
پدیدآورنده: Martin, James
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، System design,Programming ، Electronic digital computers,، Debugging in computer science
رده :
QA
76
.
9
.
S88
M37
1985
1243. System design with Ada
پدیدآورنده: R.J.A. Buhr,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع: Ada )Computer program language(,System design
رده :
QA
.
A35B8
76
.
73
1984
1244. System design with Ada
پدیدآورنده: Buhr, R J A
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Ada )Computer program language(,، System design
رده :
QA
76
.
73
.
A35
B83
1984
1245. System desing with Ada
پدیدآورنده: Buhr, R. J. A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Ada )Computer program language(,، System design
رده :
QA
76
.
73
.
A35
B83
1984
1246. System development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 1986 : Proceedings
پدیدآورنده: A.N. Habermann, U. Montanari )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
275
1247. System identification and control design : using P.I.M.+ software
پدیدآورنده: Landau, Yoan D.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Control theory,، System identification
رده :
QA
402
.
3
.
L2913
1990
1248. System level design from HW/SW to memory for embedded systems :
پدیدآورنده: Marcelo Götz, Gunar Schirner, Marco Aurélio Wehrmeister, Mohammad Abdullah Al Faruque, Achim Rettberg (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Embedded computer systems, Congresses.,Computer hardware.,Computers-- Expert Systems.,Computers-- Hardware-- General.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Embedded computer systems.,Expert systems-- knowledge-based systems.,Software Engineering.,Systems analysis & design.
رده :
TK7895
.
E42
1249. System-level power optimization for wireless multimedia communication :
پدیدآورنده: edited by Ramesh Karri, David Goodman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electric power-- Conservation.,Electronic digital computers-- Power supply.,Multimedia systems-- Power supply.,Wireless communication systems-- Power supply.,Electric power-- Conservation.,Electronic digital computers-- Power supply.,TECHNOLOGY & ENGINEERING-- Telecommunications.
رده :
TK7895
.
P68
S97
2002eb
1250. System-on-chip :
پدیدآورنده: edited by Bashir M. Al-Hashimi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Embedded computer systems.,Microelectronics.,Systems on a chip.,COMPUTERS-- Logic Design.,Embedded computer systems.,Microelectronics.,Microélectronique.,Systèmes enfouis (informatique),Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,TECHNOLOGY & ENGINEERING-- Electronics-- Digital.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.
رده :
TK7895
.
E42
S976
2006eb
1251. System specification and design languages
پدیدآورنده: / Tom J. Kaazmierski, Adam Morawiec, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses
رده :
TK7885
.
7
.
F35
2012
1252. System specification and design languages
پدیدآورنده: Tom J. Kaźmierski, Adam Morawiec, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده :
TK7885
.
7
.
F35
2010eb
1253. System specification & design languages :
پدیدآورنده: edited by Eugenio Villar, Jean Mermet.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer hardware description languages -- Congresses.,Computer hardware description languages.,Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.
رده :
TK7885
.
7
E358
2003
1254. Systems Engineering for Business Process Change :
پدیدآورنده: edited by Peter Henderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
1255. Systems Engineering for Business Process Change:
پدیدآورنده: edited by Peter Henderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
1256. Systems Engineering for Business Process Change:
پدیدآورنده: edited by Peter Henderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
1257. Systems Engineering for Business Process Change :
پدیدآورنده: edited by Peter Henderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
1258. Systems analysis and design for advanced modeling methods :
پدیدآورنده: Akhilesh Bajaj and Stanislaw Wrycza, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: System analysis.,System design.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,System analysis.,System design.
رده :
QA76
.
9
.
S88
S936
2009eb
1259. Systems approach applications for developments in information technology
پدیدآورنده:
کتابخانه: کتابخانه دانشکدگان فارابی دانشگاه تهران (قم)
موضوع:
رده :
T
58
.
64
.
S94
2012
1260. Systems development methods for databases, enterprise modeling, and workflow management
پدیدآورنده: edited by Wita Wojtkowski [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,System design -- Congresses.,Workflow management systems -- Congresses.
رده :
QA76
.
9
.
S88
E358
1999
